Hmm, wouldn't it be better to not generate these trees in the first place, perhaps by turning off apply/implicit insertion when the InSuperCall mode is set ?

Hmm, wouldn't it be better to not generate these trees in the first place, perhaps by turning off apply/implicit insertion when the InSuperCall mode is set ?

That's not so easy. InSuperCall mode is also set for the arguments of constructor calls, where inserting apply is OK. In fact I tried something like this first, but it turned out to be harder than I thought. The current scheme is better since it does not insert yet another condition into an already difficult branching structure.